/**
* @author Lourdes Sanchez
* @author Eugenia Jose
* @author Esteban Castro
* @author Carlos Fernandez
* @author Fernando Turon
* @version 1.0 01-05-12
*
* La clase Estudiante se instancia en distintas partes de la aplicación
*   es una clase hija de Usuario y serializable
*
* @see GestorResponsablePrueba
*/
package edu.uoc.tds.pec4.model;

import java.io.Serializable;
import java.util.Date;

public class ResponsablePrueba extends Usuario implements Serializable{
    
    /**
     * Constructor sin parámetros de la clase ResponsablePrueba.
     * Crea una instancia de ResponsablePrueba.
     * {pre: no hay parámetros}
     * {post: devuelve una instancia de la clase ResponsablePrueba}
     */
    public ResponsablePrueba(){
        super();
    }

    /**
     * Constructor con parámetros de la clase ResponsablePrueba.
     * Crea una instancia de ResponsablePrueba.
     * {pre: usuario es una cadena que no puede ser vacía
     *      nombre es una cadena que no puede ser vacía
     *      apellido_primero es una cadena que no puede ser vacía
     *      apellido_segundo es una cadena que no puede ser vacía 
     *      documento es una cadena que no puede ser vacía }
     * {post: devuelve una instancia de la clase ResponsablePrueba}
     * @param id_usuario representa el identificador para el responsable de pruebas
     * @param usuario representa el nombre de conexión a la aplicación para el responsable de pruebas
     * @param clave representa la clave de conexión a la aplicación para el responsable de pruebas
     * @param nombre representa el nombre del responsable de pruebas
     * @param apellido_primero representa el apellido primero del responsable de pruebas
     * @param apellido_segundo representa el apellido segundo del responsable de pruebas
     * @param documento representa el documento de identificación del responsable de pruebas
     * @param fecha_alta representa la fecha de alta del responsable de pruebas en el sistema
     * @param fecha_baja representa la fecha de baja del responsable de pruebas en el sistema
     */
    public ResponsablePrueba(int id_usuario, String usuario, String clave, String nombre, String apellido_primero, String apellido_segundo, String documento, Date fecha_alta, Date fecha_baja){
        super(id_usuario,TipoUsuario.EnumTipoUsuario.RESPONSABLEPRUEBA.getIdTipoUsuario(),usuario,clave,nombre,apellido_primero,apellido_segundo,documento,fecha_alta,fecha_baja);
    }
}
